Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, (...) A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

Data are lacking with regard to participants' perspectives on return of genetic research results to relatives, including after the participant's death. This paper reports descriptive results from 3,630 survey respondents: 464 participants in a pancreatic cancer biobank, 1,439 family registry participants, and 1,727 healthy individuals. Our findings indicate that most participants would feel obligated to share their results with blood relatives while alive and would want results to be shared with relatives after their death.

BackgroundInternational partnerships in research are receiving ever greater attention, given that technology has diminished the restriction of geographical barriers with the effects of globalisation becoming more evident, and populations increasingly more mobile.DiscussionIn this article, we examine the merits and risks of such collaboration even when strict universal ethical guidelines are maintained. There has been widespread examples of outcomes beneficial and detrimental for both high and low –income countries which are often initially unintended.SummaryThe authors feel that extreme care and forethought should (...) be exercised by all involved parties, despite the fact that many implications from such international work can be extremely hard to predict. However ultimately the benefits gained by enhancing medical research and philanthropy are too extensive to be ignored. (shrink)

Objective: To assess the adequacy of the process of informed consent for surgical patients at the University Hospital of the West Indies. Method: The study is a prospective, cross-sectional, descriptive study. 210 patients at the University Hospital of the West Indies were interviewed using a standardised investigator-administered questionnaire, developed by the authors, after obtaining witnessed, informed consent for participation in the study. Data were analysed using SPSS V.12 for Windows. Results: Of the patients, 39.4% were male. Of the surgical procedures, (...) 68.6% were scheduled, 7.6% urgent and 23.8% emergency, 35.2% were minor and 64.8% major. Information imparted/received was acceptable in 40% of cases, good in 24% and inadequate (unacceptable) in 36% of cases. Almost all (97.6%) patients stated that they understood why an operation was planned and 93.3% thought that they had given informed consent. Most (95.2%) thought that they had free choice and made up their own mind. A quarter (25.2%) of all patients were told that it was mandatory for them to sign the form. There was a discussion of possible side effects and complications in 56.7% of patients. Conclusions: This study clearly indicates that surgical patients at the University Hospital of the West Indies feel that they have given informed consent. However, it also suggests that more information should be given to patients for consent to be truly informed. (shrink)

In recent years the writings of Ludwig Wittgenstein have received much attention from philosophers in general and especially from philosophers interested in religion; and there is no doubt that Wittgenstein's legacy of thought is both highly suggestive and highly problematical. It seems likely, however, that the vogue which Wittgenstein now enjoys owes not a little to his peculiar place in the development of modern philosophy and, in particular, of that empiricist tradition in philosophy which stems from what has been called (...) the revolution in philosophy in the early decades of the present century. (shrink)

In his book on Karl Barth Professor T. F. Torrance spoke at one point of ‘the great watershed of modern theology’. ‘There are,’ he wrote, 1 ‘two basic issues here. On the one hand, it is the very substance of the Christian faith that is at stake, and on the other hand, it is the fundamental nature of scientific method, in its critical and methodological renunciation of prior understanding, that is at stake. This is the great watershed of modern theology: (...) either we take the one way or the other – there is no third alter native… one must go either in the direction taken by Barth or in the direction taken by Bultmann.’. (shrink)

In recent years ethical discussion has centred round the problem of the relation between the idea of right and the idea of good. Previously it had been more or less generally assumed that moral philosophy was principally concerned with the idea of good, and followed its course by asking such questions as: What is the meaning of good? or, What are the characteristics which anything must have in order to be good? or even, What things are good? The idea of (...) right was generally regarded as subordinate, and it was perhaps more often implied than stated that an action was right if by it something good was realized. (shrink)

Modern ethics has been chiefly concerned with the analysis of the conditions and principles of morality; and, in particular, one of its most important achievements has been the further elucidation of the Kantian dictum that “I ought” implies that I can. On the face of it Kant's contention seems perfectly straightforward, but, on examination, it becomes apparent that the simple word “can” covers a somewhat complicated ambiguity. When it is said that I ought to do act A, it may rightly (...) be taken that I can do act A; but the question arises whether or not this in turn involves that I am aware that I can do act A. There is clearly some significance in the assertion that I can do many acts which, however, never occur to me, either because I am ignorant of certain facts or because I have a mistaken opinion about the facts. On the other hand, it may quite properly be said that I cannot perform any act of the possibility of which I am unaware. The problem then is to determine and examine the sense of the word “can” which is a pre-condition of moral obligation. (shrink)

Making data broadly accessible is essential to creating a medical information commons. Transparency about data-sharing practices can cultivate trust among prospective and existing MIC participants. We present an analysis of 34 initiatives sharing DNA-derived data based on public information. We describe data-sharing practices captured, including practices related to consent, privacy and security, data access, oversight, and participant engagement. Our results reveal that data-sharing initiatives have some distance to go in achieving transparency.

More than thirty-five years ago, a longitudinal study was established to research the health and well-being of older people living in an English city. Self and Meaning in the Lives of Older People provides a unique set of portraits of forty members of this group who were interviewed in depth from their later seventies onwards. Focusing on sense of self-esteem and, especially, of continued meaning in life following the loss of a spouse and onset of frailty, this book sensitively illustrates (...) these persons' efforts to maintain independence, to continue to have a sense of belonging and to contribute to the lives of others. It examines both the psychological and the social resources needed to flourish in later life and draws attention to this generation's ability to benefit from strong family support and from belonging to a faith community. In conclusion, it questions whether future generations will be as resilient. (shrink)

It is a curious fact that the much maligned ontological argument to prove the existence of God has in recent times enjoyed a revival of interest to which even Karl Barth, the arch-enemy of natural theology has contributed; but since the revival of interest has appared in a wide diversity of intellectual contexts, both philosophical and theological, the revival is itself almost as problematic as the argument itself.

In his article ‘Professor Bartley's Theory of Rationality and Religious Belief’ Mr W. D. Hudson has brought considerable clarification to the rather confused situation occasioned by Professor W. W. Bartley's book The Retreat to Commitment and its subsequent discussion; but the process can, I think, be carried still further.

Popper proposes a technical concept of 'verisimilitude' as a test of the progressiveness of scientific theories. The paper attempts to show its uselessness and inapplicability on mathematical and practical grounds, As well as raising doubts about the value of any such attempt to give a mechanical test of scientific progress.